surjective homomorphism

См. также в других словарях:

• Homomorphism — In abstract algebra, a homomorphism is a structure preserving map between two algebraic structures (such as groups, rings, or vector spaces). The word homomorphism comes from the Greek language: ὁμός (homos) meaning same and μορφή (morphe)… …   Wikipedia

• Group homomorphism — In mathematics, given two groups ( G , *) and ( H , ·), a group homomorphism from ( G , *) to ( H , ·) is a function h : G → H such that for all u and v in G it holds that: h(u*v) = h(u) h(v) where the group operation on the left hand side of the …   Wikipedia

• Ring homomorphism — In ring theory or abstract algebra, a ring homomorphism is a function between two rings which respects the operations of addition and multiplication. More precisely, if R and S are rings, then a ring homomorphism is a function f : R → S such that …   Wikipedia

• Algebra homomorphism — A homomorphism between two algebras over a field K , A and B , is a map F:A ightarrow B such that for all k in K and x , y in A ,* F ( kx ) = kF ( x )* F ( x + y ) = F ( x ) + F ( y )* F ( xy ) = F ( x ) F ( y )If F is bijective then F is said to …   Wikipedia

• Epimorphism — In category theory an epimorphism (also called an epic morphism or an epi) is a morphism f : X rarr; Y which is right cancellative in the following sense: : g 1 o f = g 2 o f implies g 1 = g 2 for all morphisms g 1, g 2 : Y rarr; Z .Epimorphisms… …   Wikipedia

• Category of rings — In mathematics, the category of rings, denoted by Ring, is the category whose objects are rings (with identity) and whose morphisms are ring homomorphisms (preserving the identity). Like many categories in mathematics, the category of rings is… …   Wikipedia

• Braid group — In mathematics, the braid group on n strands, denoted by B n , is a certain group which has an intuitive geometrical representation, and in a sense generalizes the symmetric group S n . Here, n is a natural number; if n gt; 1, then B n is an… …   Wikipedia

• Holonomy — Parallel transport on a sphere depends on the path. Transporting from A → N → B → A yields a vector different from the initial vector. This failure to return to the initial vector is measured by the holonomy of the connection. In differential… …   Wikipedia

• Fundamental theorem on homomorphisms — In abstract algebra, the fundamental theorem on homomorphisms, also known as the fundamental homomorphism theorem, relates the structure of two objects between which a homomorphism is given, and of the kernel and image of the homomorphism.The… …   Wikipedia

• Quotient algebra — In mathematics, a quotient algebra, (where algebra is used in the sense of universal algebra), also called a factor algebra is obtained by partitioning the elements of an algebra in equivalence classes given by a congruence, that is an… …   Wikipedia

• Homology (mathematics) — In mathematics (especially algebraic topology and abstract algebra), homology (in Greek ὁμός homos identical ) is a certain general procedure to associate a sequence of abelian groups or modules with a given mathematical object such as a… …   Wikipedia